I accept the correctness of your statement - vertaling naar Engels
Diclib.com
Online Woordenboek

I accept the correctness of your statement - vertaling naar Engels

QUALITY OF AN ALGORITHM BEING CORRECT WITH RESPECT TO A SPECIFICATION
Program correctness; Partial correctness; Proof of correctness; Total correctness; Partial algorithm; Provably correct; Correctness of computer programs; Formal proof of correctness; Correct algorithm; Incorrect algorithm

accept         
WIKIMEDIA DISAMBIGUATION PAGE
Accept (album); Accept (disambiguation)
accept v. 1) принимать - accept an offer - accept in deposit - accept bribes - accept equipment - accept the resignation of the cabinet 2) допускать; соглашаться; признавать I accept the correctness of your statement - признаю правильность вашего утверждения 3) относиться благосклонно 4) comm. акцептовать (вексель) 5) biol. не вызывать отторжения to accept persons - проявлять лицеприятие
statement of owner's equity         
FINANCIAL STATEMENT EXPLAINING THE CHANGE IN OWNER'S EQUITY
Statement of Retained Earnings; Statement of owners' equity; Statement of owner's equity; Statement of net assets; Owner's equity statement; Statement of Owner's Equity; Statement of Changes in Equity; Statement of retained earnings

<i>Смотрите такжеi>

statement of changes in shareholders' equity

statement of retained earnings         
FINANCIAL STATEMENT EXPLAINING THE CHANGE IN OWNER'S EQUITY
Statement of Retained Earnings; Statement of owners' equity; Statement of owner's equity; Statement of net assets; Owner's equity statement; Statement of Owner's Equity; Statement of Changes in Equity; Statement of retained earnings

<i>Смотрите такжеi>

retained earnings statement

Definitie

МАКСИМИЛИАН I
I
(Maximilian I) (1832-1867), император Мексики, австрийский эрцгерцог, младший брат австрийского императора Франца Иосифа I. Родился 6 июля 1832 в Вене, при крещении получил имя Фердинанд Максимилиан Иосиф. Служил в австрийском военно-морском флоте, в 1857-1859 был генерал-губернатором австрийских владений в Италии - Ломбардии и Венеции. В 1857 женился на бельгийской принцессе Шарлотте. Поддавшись на уговоры Наполеона III, был возведен на мексиканский престол 9 апреля 1864, после того как французские войска оккупировали Мексику в ответ на отказ либерального правительства Хуареса платить по иностранным долгам. Император не пользовался авторитетом в народе, власть его держалась только на французских штыках. Законный президент Мексики Хуарес организовал вооруженное сопротивление захватчикам. В 1867 Наполеон III по требованию США вывел войска из Мексики. Патриоты тут же заняли столицу. Максимилиан отказался эмигрировать, был схвачен в Керетаро и по приговору военного трибунала расстрелян 19 июня 1867.
II
(Maximilian I) (1459-1519), император Священной Римской империи. Максимилиан, прозванный "последним рыцарем", сын императора Фридриха III и Элеоноры Португальской, родился в Винер-Нойштадте (в 50 км к югу от Вены) 22 марта 1459. В он был 1486 избран римским королем (т.е. наследником императорского престола) и с тех пор начал принимать деятельное участие в делах управления. В результате состоявшегося 19 августа 1477 бракосочетания Максимилиана и Марии Бургундской, дочери и единственной наследницы герцога Бургундии Карла Смелого, Максимилиан приобрел для дома Габсбургов еще и обширные бургундские владения. Эти земли Максимилиан удачно защищал от притязаний другого претендента, короля Франции Людовика XI (в частности, в битве при Гинегате в 1479), однако противоречия с новообретенными подданными были слишком велики, так что после смерти Марии в 1482 (от последствий падения с лошади на охоте) Бургундию и Пикардию пришлось в том же году уступить Франции (как приданое дочери Максимилиана Маргариты, которая была обещана в жены будущему королю Карлу VIII). В 1488 Максимилиан даже находился 3 месяца в плену у захвативших его горожан Брюгге. Однако в 1492 с помощью войск Швабского союза Максимилиану все же удалось сломить сопротивление фландрских городов и утвердиться во Фландрии в Нидерландах. В 1489 он вернулся в Германию и вступил в борьбу с венграми за захваченную ими Австрию. Кроме того, тогда же Максимилиан закрепил за собой Тироль, а в 1492 разбил при Филлахе и вытеснил из Австрии вторгшихся сюда турок. Заключенный в 1491 в Пресбурге (совр. Братислава) мирный договор с королем Чехии и Венгрии Владиславом II предусматривал, что, если Владислав умрет, не оставив наследников мужского пола, Чехия и Венгрия перейдут Габсбургам. В 1493 Максимилиан смог отстоять свои права на Франш-Конте в борьбе с королем Франции Карлом VIII, который отверг Маргариту и женился на уже просватанной за Максимилиана Анне Бретанской. 19 августа 1493 Фридрих III умер, и императором стал Максимилиан, вскоре после чего он женился на Бьянке Сфорца, дочери герцога Милана Галеаццо Сфорца, что вовлекло Максимилиана в проходившие с переменным успехом войны с Францией за Милан и Неаполь (Милан отстоять не удалось, однако Неаполь с Сицилией перешли к Испании). К этому времени (1495) относится создание Максимилианом 1-й Священной лиги, направленной против Франции, в которую входили также папа, Неаполь и Милан. Благодаря браку сына Максимилиана Филиппа I Красивого и Хуаны Безумной (1496) Габсбургам досталась также и испанская корона с ее владениями в трех частях света. Брачные же союзы его внуков Фердинанда и Марии с детьми Владислава Анной и Людовиком обеспечили за Габсбургами Чехию и Венгрию. Стремление Максимилиана к абсолютной власти и закреплению за Габсбургами императорского достоинства натолкнулось на неприятие многих германских государей. Поэтому начатую в 1495 на Вормском рейхстаге (и продолженную на рейхстагах в Аугсбурге в 1500 и Кёльне в 1512) реформу государственного устройства (учреждение недолговечного Reichsregiment, т.е. имперского совета по делам межсословных отношений, Общеимперского палатного суда, а также подчиненных непосредственно императору гофрата, т.е. придворного совета, и придворной канцелярии, провозглашение "вечного земского мира", т.е. запрета на ведение частных войн, введение единого налога, разделение империи на 6, а впоследствии 10 округов) следует считать попыткой компромиссного решения. Инициатива и подготовка реформы были в основном делом архиепископа Майнцского и курфюрста Бертольда фон Хеннеберга. Следует, однако, признать, что именно в силу компромиссности реформа оказалась малоэффективной, она не преодолела мелкодержавности, не привела к утверждению абсолютизма на обширных просторах Священной Римской империи, которая так и осталась конгломератом разношерстных, во многом автономных государственных образований.
По итогам проигранной Максимилианом Швабской войны 1499 ему пришлось пойти на фактическое признание независимости швейцарских кантонов (Базельский договор 1499). В ходе итальянского похода 1508 Максимилиан в Триденте (совр. Тренто) принял титул "избранный римский император". Это было сделано с молчаливого согласия папы, без коронации им в Риме, в результате чего императорское достоинство стало с этих пор формально независимым от папского утверждения. В 1509 Максимилиан вместе с Францией вступил в Камбрейскую лигу, однако позднее присоединился к 2-й Священной лиге, направленой против Франции. Однако война проходила неудачно, и в 1515 по Брюссельскому миру Милан пришлось уступить Франции, а Верону - Венеции. Внешняя политика, заботы о приобретении и удержании многочисленных и находящихся в разных частях Европы владениях не оставляли Максимилиану возможности уделять достаточное внимание внутригерманским делам. Финансы также находились не в лучшем состоянии. При всем том нельзя отрицать, что по духу Максимилиан был все же немецким императором (чего нельзя сказать о многих его предшественниках).
Максимилиан был высокообразованным и весьма разносторонним человеком. Страстный охотник, помимо рыцарских доблестей (которые и принесли ему прозвище) и выдающейся физической силы он обладал обширными знаниями и умениями в разных областях искусства и науки, не гнушался ремесел. Максимилиан свободно владел латинским, немецким, французским, итальянским, английским и чешским языками. Он покровительствовал искусствам (в частности, Дюреру и Бургкмайру) и ученым-гуманистам (например, Ульриху фон Гуттену). Максимилиану принадлежат несколько трактатов по истории, архитектуре, садоводству, ремеслам и охоте. Кроме того, при его участии возникли два художественных произведения: аллегорический рыцарский роман Белый король (Weikunig, ок. 1516) и эпическая поэма Благомысл (Teuerdank, 1517). Максимилиан собирал рукописи, хроники, памятники средневековой поэзии (так, из 25 поэм, которые Ганс Рид переписал в 1504-1516 в заказанную Максимилианом рукопись, т.н. Амбразскую книгу героев, 17, в том числе Гудруна, не встречаются больше нигде), оказывал покровительство университетам. В области военного искусства Максимилиан стал впервые широко привлекать к участию в боевых действиях ландскнехтов (впервые в 1486). Его звали даже "отцом немецких ландскнехтов", поскольку он старался облагородить эти кочевые шайки наемных воинов и привить им дисциплину, улучшал их вооружение и экипировку, даже сам нередко появлялся в костюме ландскнехта. Максимилиан умер в Вельсе (Верхняя Австрия) 12 января 1519. Похоронен в Винер-Нойштадте, а в Инсбруке, в Хофкирхе, находится его знаменитая незаконченная гробница со скульптурными изображениями (некоторые отлиты по эскизам Дюрера) многих представителей Габсбургов.

Wikipedia

Correctness (computer science)

In theoretical computer science, an algorithm is correct with respect to a specification if it behaves as specified. Best explored is functional correctness, which refers to the input-output behavior of the algorithm (i.e., for each input it produces an output satisfying the specification).

Within the latter notion, partial correctness, requiring that if an answer is returned it will be correct, is distinguished from total correctness, which additionally requires that an answer is eventually returned, i.e. the algorithm terminates. Correspondingly, to prove a program's total correctness, it is sufficient to prove its partial correctness, and its termination. The latter kind of proof (termination proof) can never be fully automated, since the halting problem is undecidable.

For example, successively searching through integers 1, 2, 3, … to see if we can find an example of some phenomenon—say an odd perfect number—it is quite easy to write a partially correct program (see box). But to say this program is totally correct would be to assert something currently not known in number theory.

A proof would have to be a mathematical proof, assuming both the algorithm and specification are given formally. In particular it is not expected to be a correctness assertion for a given program implementing the algorithm on a given machine. That would involve such considerations as limitations on computer memory.

A deep result in proof theory, the Curry–Howard correspondence, states that a proof of functional correctness in constructive logic corresponds to a certain program in the lambda calculus. Converting a proof in this way is called program extraction.

Hoare logic is a specific formal system for reasoning rigorously about the correctness of computer programs. It uses axiomatic techniques to define programming language semantics and argue about the correctness of programs through assertions known as Hoare triples.

Software testing is any activity aimed at evaluating an attribute or capability of a program or system and determining that it meets its required results. Although crucial to software quality and widely deployed by programmers and testers, software testing still remains an art, due to limited understanding of the principles of software. The difficulty in software testing stems from the complexity of software: we can not completely test a program with moderate complexity. Testing is more than just debugging. The purpose of testing can be quality assurance, verification and validation, or reliability estimation. Testing can be used as a generic metric as well. Correctness testing and reliability testing are two major areas of testing. Software testing is a trade-off between budget, time and quality.